退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:面向内存的全局源代码转换的自动功能验证
K.C. Shashidhar; M. Bruynooghe; F. Catthoor; G. Janssens;
机译:通过自动句法重构简化源代码变换的构建
机译:通过半自动建模对软件源代码进行正式验证
机译:处理数据相关的条件以实现常规的全局源代码转换
机译:面向存储器的全局源代码转换的自动功能验证
机译:源到源优化转换Fast-J作为全球化学法规的案例研究
机译:文本数据源中传染病威胁全球快速识别系统的评估和验证
机译:闪存设备具有字线和源线解码器,以及全局解码器,该全局解码器基于子块选择信号生成信号以激活与块的层级中最低级别的子块相关的存储块的段
机译:存储器电路错误识别功能/错误检测代码验证装置,例如芯片卡区域,具有控制值设备,当没有错误信号输出时,该控制值设备输出指示功能执行错误的警报信号
机译:在功能测试工具中的全局验证测试中自动翻译源字符串
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。